ارائه مدل تحلیلی برای کنترل دستیابی براساس استاندارد کنترل دستیابی مبتنی بر نقش در محاسبات ابری
پایان نامه
- وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده برق و کامپیوتر
- نویسنده مینا شریفی آتشگاه
- استاد راهنما وحید رافع رضا رافع
- سال انتشار 1392
چکیده
در این پایان نامه به بررسی معماری محاسبات ابری به عنوان جدیدترین الگوی ارائه شده در معماری نرم افزار است، پرداخته می شود. همچنین امنیت به عنوان یکی از نیازمندی های غیرکارکردی مهم در این معماری و نیز مدل کنترل دستیابی مبتنی بر نقش (rbac) مورد بررسی قرار می گیرند. با استفاده از مدل rbac، کنترل دستیابی در محیط ابر با زبان فرمال alloy مدل می شود و مورد تحلیل قرار می گیرد. همچنین با سناریوهای تست درستی مدل هرچه بیشتر مورد بررسی می گیرد. مدلسازی فرمال برای مدل کردن نیازمندی های غیرکارکردی روش مناسبی است. این روش مبتنی بر منطق ریاضی است و مدل بدست آمده از این روش دقیق است.
منابع مشابه
مروری بر کنترل دسترسی مبتنی بر ویژگی در محیط‌های ابری
محیط‌های‌ابری در دهه اخیر به عنوان یک انقلاب در صنعت IT شناخته شدهاند و سازمان‌های زیادی به‌منظور پردازش و ذخیره اطلاعات خود از این سرویس استفاده می‌کنند. با وجود رشد سریع و مزایای فراوان این سرویس، هنوز برخی از سازمانها به دلیل مشکلات امنیتی و حریم‌خصوصی مرتبط با ذخیره داده‌های حساس بر روی سرورهای غیرقابل اعتماد ابری، از این سرویس استفاده نمی‌کنند. مدیریت کنترل دسترسی کاربران با استفاده از ت...
متن کاملارائه یک رویکرد ترکیبی مبتنی بر تحلیل شکاف و FQFD برای دستیابی به چابکی
بسیاری از شرکتها به منظور کاهش هزینه ها، بهبود خدمات مشتری و دستیابی به مزیت رقابتی در حالپیگیری تولید چابک هستند. در واقع چابکی به عنوان پارادایم جدیدی برای مهندسی سازمانها و بنگاه-های رقابتی مطرح است. در این پژوهش بعد از مطالعه مبانی نظری و پیشینه مبحث چابکی، ویژگیها،معیارها و توانمندسازهای آن شناسایی شدهاند و چارچوبی برای اولویتبندی و تحلیل این شاخصها باتوجه به مزایای رقابتی عمده موجود در اد...
متن کاملارائه یک مدل غیرخطی جامع برای شیرهای کنترل جریان اسپولی مبتنی بر وضعیت های مختلف انطباقی
شیرهای هیدرولیکی رفتارهای غیرخطی متنوعی را به نمایش میگذارند. در بسیاری از کاربردها، مدل‌های اجزای هیدرولیک می‌توانند به صورت ساده و خطی فرض شوند، لکن در کاربردهای دقیق، عبارات غیرخطی مذکور نمی‌توانند صرف‌نظر گردند. برای استخراج مدل شیر کنترل جریان اسپولی چهارراهه، از ترکیب دو معادله غیرخطی جریان عبوری از روزنه شیر استفاده می‌گردد. در این مقاله یک مدل یکپارچه برای شیرهای کنترل جریان اسپولی ارا...
متن کاملارائه یک مدل راهبردی برای دستیابی به توسعه پایدار شهری در کلان‌شهر مشهد
زمینه بسیاری از پژوهش‌های شهری، توسعه پایدار است و نگرش آرمانی برنامه ریزان و طراحان شهری در طراحی شهرهای پایدار، عمدتاً بر زندگی بهتر و کاهش بحران‌های محیطی است. این مقاله به دنبال پاسخگویی به این سوالات است که مهم‌ترین مسائل و مشکلات ناپایداری در کلان‌شهر مشهد کدام‌اند؟ و مهم‌ترین راهکارهای دستیابی به یک مدل راهبردی توسعه پایدار شهری در کلان‌شهر مشهد کدام است؟ هدف پژوهش حاضر ارائه مدلی راهبرد...
متن کاملارائه یک رویکرد ترکیبی مبتنی بر تحلیل شکاف و fqfd برای دستیابی به چابکی
بسیاری از شرکتها به منظور کاهش هزینه ها، بهبود خدمات مشتری و دستیابی به مزیت رقابتی در حالپیگیری تولید چابک هستند. در واقع چابکی به عنوان پارادایم جدیدی برای مهندسی سازمانها و بنگاه-های رقابتی مطرح است. در این پژوهش بعد از مطالعه مبانی نظری و پیشینه مبحث چابکی، ویژگیها،معیارها و توانمندسازهای آن شناسایی شدهاند و چارچوبی برای اولویتبندی و تحلیل این شاخصها باتوجه به مزایای رقابتی عمده موجود در اد...
متن کاملارائه مدل کنترل فرآیند آماری فازی با روش مد فازی برای کنترل تعداد نقص‌های محصول
نمودارهای کنترل کلاسیک با استفاده از داده‌های دقیق و معین، فرآیند‌های تولیدی را در دو گروه «تحت کنترل» یا «خارج از کنترل» قرار می‌دهند. در حالیکه مجموعه‌های فازی با تعریف توابع عضویت پیوسته و استفاده از داده‌های مبهم و نا‌معین با بهره‌گیری از اعداد فازی مثلثی و ذوزنقه‌ای، سطوح مختلف تصمیم را برای تصمیم‌گیرندگان معرفی می‌کند. در این مقاله با استفاده از مد فازی برای ترسیم نمودارهای کنترل فازی عل...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
نوع سند: پایان نامه
وزارت علوم، تحقیقات و فناوری - دانشگاه اراک - دانشکده برق و کامپیوتر
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023